x AND falseの真理値は全てfalseになる
from
3値論理の真理表
強いほうが弱いほうを飲み込む
unknown AND false = false
false AND unknown = false